Supporting Through Life Safety Assurance of COTS Based Upgrades

نویسنده

  • G. Despotou
چکیده

The obsolescence problem (component life of 7 years, compared to aircraft life of 30+ years) whilst maintaining high-capability and low–cost upgrades is the holy grail for avionics systems integrators. The use of COTS and getting maximum reuse of existing functionality is key to solving this problem. However, such an approach can compromise the certification basis of the aircraft. The originally generated and gathered evidence alongside the reasoning justifying the (safety) reliance on the system, are invalidated by the change introduced to the system. This paper, based on an industrial case-study, describes a number of steps necessary to establish the assurance of safe system operation that will be considered acceptable to all involved stakeholders, such as the developers, the customer and the relevant regulatory authorities. Finally, the paper demonstrates how the reasoning behind the safety acceptance of the system is presented using argumentation; a very popular approach to represent safety cases, which document and communicate the safety reasoning of a system, and constitute a legal requirement in the UK for all safety implicated systems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Safety Assurance of Commercial-Off-The-Shelf Software

Commercial-Off-The-Shelf (COTS) software is increasingly being suggested for use in systems development, for reasons including cost, functionality, useability, testedness, availability of support and upgrades. At the same time, standards for use of software in safetyrelated systems are becoming increasingly stringent. This paper examines the issue of providing safety assurance for systems invol...

متن کامل

Evaluation and Integration of COTS in Evidence based Assurance Frameworks

COTS have increasingly been used by industrial practice as a means of maintaining low development costs of a product, whilst offering significant capability upgrades. COTS are multi purpose products driven by commonly used functionality. However, being general purpose products raises certain challenges regarding their ability to be certified. Previously used (process-based) standards stipulated...

متن کامل

Contract-Based Justification for COTS Component within Safety Critical Applications

Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure that potential failures of the COTS component does not contribute to system level hazards. To this end, we have established a contract-based approach to capture the application-specific safety requirements, and correspond...

متن کامل

Intents and Upgrades in Component-Based High-Assurance Systems

This chapter addresses challenges for model-driven development of embedded systems in industrial practice. These are rooted in the necessity of flexible development of new functionality at low development cost. Where a dependability requirement is added, e.g. support for assurance of safety requirements, then extending functionality by pluging in a new component, or modifying an existing compon...

متن کامل

Intents, Upgrades and Assurance in Model-Based Development

This position paper addresses topic 1 of the workshop: MoDES challenges in industrial practice. It highlights lessons learnt from three applications of model-driven development for software embedded in vehicular safety restraints, aerospace and secure radio communication systems. While our experiences in these three fields of application are compared and contrasted the emphasis will be placed o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009